The No1 Ethical retailer for Books, CD’s, DVD’s & Games
30 Day Refund Guarantee

Buy Used and New Daniele Mundici Books

Results for Daniele Mundici

Showing 1 to 3 of 3 results
Computational Logic and Proof Theory: Third Kurt G¿¿del Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings: Third Kurt Gödel ... 713 (Lecture Notes in Computer Science) Computational Logic and Proof Theory: Third Kurt G¿¿del Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings: Third Kurt Gödel ... 713 (Lecture Notes in Computer Science) by Daniele Mundici,Alexander Leitsch,Georg Gottlob

Computational Logic and Proof Theory: Third Kurt G¿¿del Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings: Third Kurt Gödel ... 713 (Lecture Notes in Computer Science)

by Daniele Mundici,Alexander Leitsch,Georg Gottlob


ISBN 13: 9783540571841

Format: Paperback (372 pages)
Publisher: Springer
Published: 13 Aug 1993

Save for later

 
New : $54.83  
New : $54.83
Theorem Proving with Analytic Tableaux and Related Methods: 5th International Workshop, TABLEAUX '96, Terrasini (Palermo), Italy, May 15 - 17, 1996. ... 1071 (Lecture Notes in Computer Science) Theorem Proving with Analytic Tableaux and Related Methods: 5th International Workshop, TABLEAUX '96, Terrasini (Palermo), Italy, May 15 - 17, 1996. ... 1071 (Lecture Notes in Computer Science) by Pierangelo Miglioli,Daniele Mundici,Mario Ornaghi,Ugo Moscato

Theorem Proving with Analytic Tableaux and Related Methods: 5th International Workshop, TABLEAUX '96, Terrasini (Palermo), Italy, May 15 - 17, 1996. ... 1071 (Lecture Notes in Computer Science)

by Pierangelo Miglioli,Daniele Mundici,Mario Ornaghi,Ugo Moscato


ISBN 13: 9783540612087

Format: Paperback (348 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

 
New : $54.80  
New : $54.80
Computational Logic and Proof Theory: 5th Kurt G??del Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings: 5th Kurt Gödel Colloquium, ... 1289 (Lecture Notes in Computer Science) Computational Logic and Proof Theory: 5th Kurt G??del Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings: 5th Kurt Gödel Colloquium, ... 1289 (Lecture Notes in Computer Science) by Daniele Mundici,Alexander Leitsch,Georg Gottlob

Computational Logic and Proof Theory: 5th Kurt G??del Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings: 5th Kurt Gödel Colloquium, ... 1289 (Lecture Notes in Computer Science)

by Daniele Mundici,Alexander Leitsch,Georg Gottlob


ISBN 13: 9783540633853

Format: Paperback (364 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

 
New : $54.83  
New : $54.83